package main

import "fmt"

func searchInsert(nums []int, target int) int {
	for index, num := range nums {
		if num == target {
			return index
		} else if num > target {
			return index
		} else if index == len(nums)-1 && num < target {
			return len(nums)
		}
	}
	return 0
}

func main() {
	var nums = []int{-5000, -4999, -4996, -4995, -4993, -4992, -4991, -4990, -4986, -4985, -4982, -4981, -4980, -4979, -4978, -4977, -4976, -4975, -4974, -4973, -4972, -4971, -4969, -4968, -4965, -4964, -4963, -4962, -4960, -4955, -4954, -4952, -4951, -4950, -4948, -4947, -4945, -4944, -4943, -4942, -4940, -4939, -4938, -4937, -4935, -4933, -4932, -4931, -4930, -4928, -4927, -4925, -4924, -4923, -4922, -4921, -4919, -4918, -4916, -4915, -4913, -4912, -4911, -4908, -4907, -4906, -4905, -4904, -4902, -4901, -4900, -4899, -4896, -4895, -4894, -4893, -4892, -4891, -4889, -4887, -4886, -4885, -4884, -4882, -4881, -4880, -4879, -4876, -4873, -4872, -4871, -4870, -4869, -4868, -4867, -4865, -4864, -4861, -4860, -4858, -4856, -4855, -4853, -4852, -4851, -4850, -4849, -4847, -4846, -4845, -4843, -4840, -4839, -4838, -4837, -4833, -4831, -4830, -4829, -4827, -4825, -4822, -4821, -4818, -4812, -4811, -4809, -4808, -4807, -4805, -4804, -4803, -4802, -4801, -4800, -4799, -4795, -4793, -4789, -4787, -4786, -4785, -4784, -4783, -4782, -4779, -4776, -4774, -4771, -4770, -4769, -4767, -4766, -4763, -4761, -4758, -4757, -4756, -4754, -4751, -4746, -4745, -4744, -4743, -4742, -4741, -4739, -4738, -4736, -4735, -4728, -4727, -4726, -4725, -4723, -4721, -4720, -4719, -4718, -4717, -4716, -4713, -4712, -4711, -4709, -4708, -4705, -4702, -4701, -4700, -4699, -4698, -4695, -4693, -4691, -4688, -4685, -4684, -4681, -4680, -4679, -4678, -4677, -4676, -4675, -4674, -4672, -4671, -4668, -4666, -4665, -4664, -4663, -4662, -4660, -4659, -4658, -4657, -4652, -4651, -4650, -4648, -4647, -4644, -4643, -4642, -4640, -4638, -4637, -4636, -4635, -4634, -4633, -4632, -4631, -4628, -4626, -4624, -4623, -4622, -4619, -4618, -4616, -4612, -4611, -4610, -4608, -4606, -4605, -4604, -4601, -4599, -4596, -4595, -4591, -4587, -4586, -4582, -4581, -4580, -4579, -4578, -4577, -4576, -4572, -4570, -4569, -4568, -4567, -4565, -4563, -4561, -4560, -4559, -4558, -4557, -4556, -4555, -4553, -4552, -4550, -4549, -4548, -4546, -4545, -4543, -4538, -4537, -4535, -4533, -4531, -4530, -4527, -4525, -4522, -4519, -4516, -4514, -4513, -4512, -4511, -4510, -4507, -4505, -4504, -4503, -4502, -4501, -4500, -4499, -4497, -4496, -4494, -4492, -4490, -4489, -4488, -4487, -4486, -4485, -4483, -4482, -4478, -4477, -4476, -4475, -4474, -4473, -4472, -4470, -4468, -4466, -4465, -4464, -4463, -4462, -4461, -4460, -4459, -4458, -4457, -4455, -4454, -4452, -4451, -4450, -4449, -4448, -4447, -4446, -4445, -4442, -4441, -4439, -4438, -4437, -4433, -4432, -4431, -4430, -4429, -4428, -4427, -4426, -4424, -4423, -4422, -4420, -4419, -4418, -4417, -4414, -4413, -4412, -4410, -4409, -4406, -4403, -4402, -4401, -4399, -4398, -4397, -4396, -4394, -4393, -4391, -4388, -4387, -4385, -4384, -4383, -4382, -4379, -4378, -4377, -4374, -4373, -4372, -4371, -4370, -4369, -4368, -4367, -4364, -4363, -4361, -4360, -4359, -4358, -4355, -4354, -4351, -4350, -4346, -4345, -4344, -4343, -4342, -4341, -4340, -4339, -4337, -4335, -4331, -4329, -4327, -4323, -4322, -4318, -4317, -4316, -4315, -4314, -4312, -4309, -4307, -4306, -4305, -4304, -4301, -4300, -4299, -4297, -4296, -4295, -4293, -4292, -4290, -4289, -4288, -4286, -4285, -4284, -4283, -4281, -4279, -4278, -4275, -4272, -4271, -4270, -4269, -4268, -4266, -4265, -4263, -4260, -4257, -4256, -4255, -4253, -4251, -4250, -4249, -4248, -4246, -4245, -4244, -4240, -4238, -4236, -4233, -4232, -4231, -4229, -4228, -4226, -4225, -4223, -4222, -4221, -4218, -4217, -4216, -4211, -4209, -4207, -4206, -4205, -4204, -4203, -4202, -4199, -4198, -4197, -4196, -4195, -4192, -4191, -4190, -4187, -4186, -4184, -4183, -4182, -4180, -4179, -4178, -4177, -4175, -4174, -4173, -4170, -4169, -4166, -4165, -4164, -4161, -4160, -4158, -4157, -4153, -4151, -4150, -4149, -4148, -4146, -4145, -4139, -4137, -4136, -4135, -4134, -4133, -4130, -4129, -4128, -4127, -4125, -4124, -4123, -4122, -4121, -4119, -4118, -4117, -4116, -4114, -4113, -4112, -4111, -4108, -4107, -4106, -4104, -4102, -4101, -4100, -4099, -4098, -4096, -4095, -4094, -4093, -4090, -4088, -4087, -4084, -4083, -4082, -4079, -4078, -4077, -4075, -4074, -4072, -4070, -4068, -4066, -4065, -4063, -4062, -4061, -4060, -4059, -4058, -4054, -4053, -4052, -4051, -4049, -4048, -4047, -4046, -4044, -4043, -4042, -4039, -4038, -4037, -4036, -4035, -4034, -4033, -4032, -4029, -4028, -4018, -4017, -4015, -4014, -4012, -4011, -4010, -4009, -4004, -4003, -4002, -4001, -4000, -3998, -3997, -3996, -3995, -3994, -3990, -3988, -3985, -3984, -3982, -3981, -3978, -3977, -3976, -3975, -3974, -3973, -3968, -3967, -3964, -3962, -3961, -3958, -3956, -3953, -3950, -3949, -3948, -3947, -3946, -3943, -3942, -3939, -3938, -3937, -3935, -3934, -3933, -3932, -3930, -3928, -3927, -3925, -3924, -3921, -3920, -3919, -3916, -3915, -3913, -3912, -3910, -3909, -3908, -3907, -3906, -3905, -3904, -3902, -3898, -3897, -3895, -3891, -3890, -3889, -3882, -3880, -3879, -3878, -3877, -3876, -3874, -3873, -3871, -3869, -3868, -3864, -3863, -3861, -3860, -3859, -3858, -3857, -3856, -3855, -3854, -3853, -3849, -3848, -3845, -3843, -3841, -3838, -3837, -3836, -3835, -3832, -3831, -3830, -3828, -3826, -3824, -3823, -3822, -3820, -3818, -3817, -3816, -3815, -3814, -3813, -3812, -3811, -3810, -3809, -3803, -3802, -3801, -3800, -3797, -3796, -3795, -3794, -3791, -3790, -3789, -3787, -3786, -3785, -3783, -3781, -3780, -3779, -3778, -3777, -3776, -3775, -3774, -3773, -3771, -3767, -3766, -3763, -3762, -3759, -3758, -3757, -3756, -3755, -3753, -3751, -3750, -3749, -3748, -3747, -3746, -3745, -3742, -3740, -3739, -3737, -3736, -3735, -3733, -3732, -3731, -3730, -3729, -3728, -3727, -3726, -3725, -3724, -3723, -3720, -3718, -3716, -3715, -3714, -3713, -3710, -3709, -3708, -3707, -3705, -3703, -3701, -3697, -3696, -3693, -3692, -3691, -3690, -3686, -3685, -3684, -3683, -3682, -3680, -3678, -3677, -3675, -3673, -3672, -3671, -3670, -3669, -3668, -3666, -3664, -3663, -3662, -3661, -3660, -3659, -3658, -3657, -3656, -3654, -3653, -3652, -3649, -3646, -3644, -3642, -3641, -3640, -3639, -3637, -3636, -3632, -3631, -3630, -3629, -3628, -3626, -3625, -3621, -3619, -3618, -3616, -3613, -3612, -3611, -3610, -3607, -3604, -3603, -3600, -3599, -3598, -3597, -3596, -3595, -3594, -3593, -3592, -3591, -3589, -3588, -3585, -3582, -3581, -3579, -3577, -3576, -3575, -3574, -3573, -3572, -3571, -3569, -3565, -3564, -3563, -3562, -3561, -3559, -3558, -3557, -3554, -3552, -3551, -3550, -3548, -3546, -3544, -3542, -3540, -3539, -3538, -3536, -3532, -3531, -3529, -3528, -3527, -3525, -3524, -3521, -3518, -3516, -3514, -3513, -3512, -3511, -3510, -3509, -3508, -3504, -3503, -3501, -3499, -3498, -3496, -3494, -3492, -3490, -3487, -3485, -3483, -3482, -3481, -3480, -3479, -3478, -3477, -3474, -3473, -3470, -3469, -3465, -3464, -3462, -3461, -3460, -3459, -3458, -3456, -3455, -3454, -3453, -3452, -3451, -3447, -3444, -3443, -3441, -3439, -3437, -3434, -3431, -3430, -3427, -3426, -3424, -3423, -3422, -3421, -3417, -3416, -3414, -3413, -3412, -3411, -3410, -3409, -3408, -3407, -3406, -3405, -3403, -3402, -3401, -3399, -3398, -3397, -3395, -3393, -3392, -3390, -3389, -3388, -3387, -3386, -3385, -3384, -3382, -3381, -3380, -3378, -3377, -3376, -3374, -3372, -3371, -3370, -3369, -3368, -3366, -3365, -3364, -3362, -3361, -3360, -3359, -3358, -3357, -3356, -3354, -3353, -3351, -3350, -3349, -3348, -3347, -3346, -3344, -3343, -3342, -3341, -3340, -3336, -3334, -3333, -3332, -3331, -3330, -3329, -3328, -3327, -3325, -3324, -3323, -3322, -3321, -3320, -3318, -3317, -3316, -3315, -3311, -3310, -3308, -3307, -3305, -3304, -3303, -3302, -3300, -3298, -3295, -3294, -3293, -3291, -3289, -3286, -3283, -3282, -3281, -3280, -3279, -3277, -3275, -3272, -3270, -3269, -3268, -3264, -3262, -3261, -3260, -3259, -3258, -3257, -3256, -3255, -3254, -3253, -3250, -3249, -3247, -3246, -3245, -3244, -3238, -3235, -3234, -3232, -3230, -3229, -3228, -3227, -3225, -3224, -3222, -3220, -3219, -3216, -3215, -3213, -3212, -3211, -3209, -3208, -3207, -3206, -3205, -3203, -3202, -3201, -3200, -3199, -3198, -3197, -3196, -3195, -3194, -3193, -3192, -3191, -3190, -3189, -3188, -3186, -3184, -3183, -3181, -3180, -3179, -3178, -3176, -3175, -3174, -3173, -3171, -3169, -3168, -3167, -3166, -3163, -3162, -3161, -3160, -3158, -3155, -3154, -3152, -3151, -3150, -3146, -3144, -3141, -3140, -3137, -3136, -3135, -3134, -3133, -3132, -3131, -3128, -3126, -3124, -3123, -3122, -3120, -3119, -3118, -3117, -3116, -3115, -3112, -3111, -3109, -3108, -3105, -3103, -3102, -3100, -3098, -3097, -3094, -3093, -3092, -3088, -3085, -3084, -3083, -3082, -3080, -3079, -3078, -3077, -3076, -3075, -3072, -3069, -3068, -3064, -3063, -3059, -3058, -3057, -3055, -3054, -3052, -3049, -3048, -3047, -3046, -3045, -3042, -3041, -3040, -3037, -3036, -3035, -3034, -3033, -3032, -3031, -3030, -3027, -3026, -3025, -3022, -3021, -3020, -3018, -3016, -3015, -3014, -3013, -3012, -3010, -3009, -3008, -3007, -3006, -3005, -3004, -3003, -3001, -3000, -2999, -2997, -2996, -2995, -2994, -2993, -2990, -2986, -2984, -2982, -2980, -2979, -2975, -2974, -2973, -2972, -2971, -2969, -2968, -2966, -2964, -2961, -2959, -2958, -2956, -2954, -2953, -2952, -2951, -2950, -2949, -2947, -2946, -2945, -2944, -2943, -2941, -2940, -2938, -2936, -2935, -2932, -2931, -2927, -2926, -2924, -2923, -2920, -2919, -2918, -2916, -2915, -2914, -2913, -2911, -2910, -2909, -2907, -2906, -2905, -2904, -2903, -2902, -2901, -2900, -2899, -2897, -2895, -2894, -2893, -2889, -2887, -2886, -2885, -2883, -2881, -2880, -2877, -2876, -2874, -2873, -2870, -2869, -2868, -2867, -2866, -2864, -2862, -2860, -2858, -2857, -2856, -2852, -2850, -2848, -2847, -2846, -2845, -2844, -2843, -2842, -2841, -2840, -2839, -2837, -2836, -2834, -2833, -2832, -2831, -2827, -2826, -2825, -2823, -2821, -2820, -2819, -2818, -2817, -2814, -2811, -2809, -2808, -2807, -2806, -2805, -2804, -2802, -2801, -2800, -2799, -2798, -2797, -2796, -2795, -2792, -2790, -2789, -2788, -2786, -2784, -2781, -2780, -2779, -2777, -2775, -2774, -2773, -2771, -2770, -2767, -2766, -2763, -2761, -2760, -2759, -2758, -2750, -2749, -2748, -2746, -2745, -2744, -2743, -2742, -2741, -2739, -2737, -2735, -2734, -2733, -2732, -2731, -2729, -2727, -2725, -2724, -2723, -2722, -2721, -2720, -2718, -2717, -2713, -2704, -2703, -2701, -2700, -2699, -2697, -2695, -2694, -2691, -2687, -2684, -2683, -2681, -2680, -2679, -2677, -2676, -2672, -2670, -2669, -2668, -2667, -2666, -2661, -2660, -2657, -2656, -2655, -2654, -2652, -2651, -2650, -2649, -2648, -2646, -2643, -2642, -2641, -2638, -2637, -2632, -2631, -2630, -2629, -2628, -2626, -2624, -2622, -2621, -2620, -2618, -2616, -2615, -2614, -2612, -2611, -2610, -2608, -2607, -2606, -2605, -2603, -2602, -2601, -2600, -2598, -2597, -2595, -2594, -2593, -2592, -2591, -2587, -2586, -2585, -2583, -2582, -2581, -2580, -2579, -2578, -2576, -2575, -2572, -2571, -2569, -2568, -2565, -2564, -2562, -2560, -2559, -2558, -2557, -2555, -2554, -2552, -2551, -2550, -2549, -2548, -2546, -2544, -2542, -2541, -2540, -2539, -2535, -2534, -2533, -2532, -2531, -2530, -2529, -2528, -2527, -2525, -2522, -2521, -2519, -2517, -2516, -2515, -2514, -2513, -2512, -2511, -2509, -2508, -2506, -2504, -2503, -2497, -2496, -2494, -2493, -2492, -2491, -2490, -2489, -2488, -2487, -2486, -2483, -2482, -2481, -2477, -2476, -2474, -2472, -2471, -2469, -2468, -2467, -2466, -2465, -2464, -2462, -2461, -2460, -2459, -2457, -2456, -2454, -2453, -2452, -2450, -2448, -2447, -2446, -2444, -2443, -2442, -2439, -2438, -2435, -2434, -2433, -2431, -2429, -2428, -2427, -2425, -2421, -2420, -2419, -2415, -2414, -2413, -2412, -2410, -2408, -2407, -2406, -2405, -2404, -2402, -2400, -2398, -2397, -2396, -2394, -2393, -2392, -2387, -2385, -2384, -2382, -2381, -2378, -2377, -2374, -2372, -2371, -2370, -2369, -2366, -2365, -2361, -2360, -2358, -2357, -2356, -2355, -2353, -2352, -2350, -2349, -2347, -2346, -2345, -2344, -2343, -2342, -2341, -2339, -2338, -2337, -2336, -2334, -2332, -2330, -2329, -2328, -2326, -2325, -2324, -2323, -2322, -2320, -2319, -2318, -2317, -2316, -2315, -2313, -2312, -2310, -2301, -2300, -2299, -2296, -2295, -2294, -2293, -2292, -2290, -2289, -2288, -2286, -2284, -2282, -2281, -2278, -2277, -2275, -2274, -2273, -2272, -2270, -2266, -2264, -2262, -2261, -2260, -2259, -2258, -2257, -2254, -2252, -2250, -2249, -2248, -2247, -2246, -2245, -2244, -2242, -2241, -2240, -2237, -2236, -2235, -2233, -2231, -2230, -2228, -2226, -2225, -2224, -2223, -2222, -2220, -2217, -2216, -2215, -2212, -2211, -2210, -2209, -2205, -2204, -2202, -2199, -2196, -2194, -2192, -2189, -2185, -2184, -2183, -2179, -2178, -2177, -2168, -2167, -2166, -2165, -2163, -2162, -2161, -2159, -2158, -2157, -2156, -2155, -2153, -2152, -2151, -2148, -2147, -2146, -2144, -2143, -2141, -2140, -2139, -2137, -2135, -2133, -2132, -2130, -2129, -2128, -2127, -2125, -2120, -2118, -2113, -2111, -2110, -2109, -2108, -2107, -2105, -2103, -2101, -2100, -2099, -2096, -2095, -2094, -2092, -2090, -2088, -2086, -2084, -2078, -2075, -2073, -2071, -2066, -2065, -2063, -2061, -2059, -2056, -2055, -2051, -2050, -2049, -2048, -2044, -2043, -2042, -2041, -2040, -2039, -2036, -2035, -2033, -2032, -2031, -2029, -2027, -2026, -2024, -2023, -2022, -2021, -2020, -2019, -2018, -2017, -2015, -2014, -2013, -2012, -2011, -2010, -2009, -2007, -2006, -2004, -2002, -2001, -2000, -1999, -1997, -1995, -1994, -1990, -1989, -1987, -1985, -1984, -1983, -1982, -1980, -1979, -1977, -1976, -1975, -1973, -1972, -1970, -1969, -1968, -1967, -1966, -1965, -1964, -1963, -1961, -1959, -1958, -1957, -1956, -1955, -1954, -1951, -1950, -1949, -1947, -1946, -1944, -1942, -1941, -1940, -1939, -1937, -1936, -1935, -1933, -1931, -1930, -1929, -1928, -1927, -1926, -1925, -1920, -1917, -1916, -1913, -1912, -1911, -1910, -1909, -1908, -1904, -1900, -1898, -1897, -1896, -1894, -1893, -1892, -1891, -1888, -1887, -1886, -1885, -1884, -1883, -1882, -1881, -1880, -1879, -1878, -1877, -1876, -1875, -1873, -1872, -1871, -1869, -1868, -1867, -1860, -1858, -1856, -1854, -1853, -1852, -1849, -1848, -1847, -1846, -1844, -1841, -1840, -1839, -1838, -1836, -1834, -1833, -1830, -1829, -1828, -1826, -1825, -1824, -1823, -1821, -1820, -1819, -1817, -1814, -1813, -1812, -1811, -1808, -1806, -1804, -1803, -1802, -1800, -1798, -1797, -1795, -1794, -1792, -1791, -1789, -1788, -1787, -1786, -1783, -1780, -1777, -1776, -1775, -1774, -1772, -1771, -1769, -1768, -1767, -1766, -1765, -1764, -1762, -1761, -1760, -1757, -1756, -1753, -1751, -1750, -1749, -1748, -1747, -1746, -1745, -1744, -1742, -1741, -1740, -1739, -1738, -1736, -1734, -1733, -1732, -1731, -1730, -1728, -1726, -1725, -1723, -1720, -1719, -1718, -1716, -1714, -1713, -1712, -1708, -1706, -1705, -1703, -1702, -1701, -1700, -1699, -1698, -1697, -1696, -1695, -1694, -1689, -1688, -1686, -1683, -1682, -1681, -1680, -1678, -1677, -1674, -1673, -1672, -1669, -1667, -1663, -1661, -1659, -1658, -1657, -1656, -1654, -1653, -1651, -1650, -1649, -1648, -1647, -1646, -1645, -1644, -1643, -1642, -1640, -1639, -1638, -1637, -1636, -1635, -1633, -1632, -1631, -1629, -1628, -1627, -1626, -1624, -1622, -1621, -1620, -1619, -1618, -1616, -1614, -1612, -1609, -1608, -1605, -1604, -1603, -1602, -1599, -1597, -1596, -1592, -1591, -1590, -1589, -1588, -1585, -1584, -1582, -1578, -1576, -1575, -1573, -1572, -1569, -1568, -1567, -1566, -1565, -1564, -1562, -1560, -1559, -1558, -1557, -1554, -1553, -1552, -1551, -1550, -1549, -1548, -1546, -1545, -1544, -1542, -1541, -1540, -1539, -1538, -1537, -1536, -1534, -1532, -1530, -1526, -1525, -1521, -1520, -1518, -1517, -1516, -1515, -1514, -1511, -1509, -1508, -1507, -1504, -1502, -1501, -1500, -1498, -1495, -1494, -1493, -1491, -1490, -1489, -1485, -1484, -1482, -1478, -1477, -1476, -1473, -1471, -1469, -1468, -1466, -1464, -1463, -1461, -1460, -1459, -1458, -1454, -1452, -1450, -1449, -1448, -1447, -1446, -1445, -1443, -1442, -1441, -1439, -1438, -1437, -1435, -1434, -1432, -1431, -1429, -1423, -1422, -1421, -1420, -1419, -1418, -1417, -1416, -1415, -1414, -1413, -1412, -1409, -1407, -1406, -1405, -1402, -1401, -1400, -1399, -1398, -1395, -1392, -1391, -1390, -1389, -1388, -1387, -1383, -1382, -1381, -1380, -1379, -1377, -1376, -1375, -1374, -1373, -1372, -1370, -1369, -1367, -1366, -1364, -1363, -1362, -1361, -1360, -1359, -1358, -1357, -1355, -1354, -1351, -1350, -1349, -1348, -1347, -1345, -1343, -1338, -1336, -1335, -1334, -1332, -1331, -1325, -1324, -1323, -1322, -1321, -1320, -1318, -1317, -1316, -1315, -1314, -1313, -1312, -1311, -1309, -1307, -1305, -1304, -1303, -1302, -1301, -1300, -1299, -1297, -1294, -1293, -1292, -1291, -1288, -1287, -1284, -1282, -1280, -1276, -1274, -1273, -1272, -1271, -1270, -1269, -1268, -1267, -1266, -1265, -1264, -1263, -1262, -1261, -1260, -1259, -1258, -1257, -1251, -1248, -1244, -1241, -1240, -1238, -1237, -1236, -1234, -1233, -1232, -1231, -1230, -1229, -1228, -1227, -1226, -1225, -1224, -1223, -1222, -1221, -1216, -1215, -1214, -1213, -1212, -1211, -1210, -1209, -1208, -1206, -1205, -1204, -1202, -1201, -1200, -1199, -1197, -1195, -1194, -1193, -1192, -1190, -1187, -1186, -1185, -1184, -1183, -1180, -1177, -1174, -1171, -1170, -1168, -1167, -1161, -1160, -1159, -1158, -1157, -1156, -1155, -1153, -1152, -1151, -1150, -1149, -1148, -1147, -1146, -1145, -1142, -1141, -1139, -1138, -1137, -1136, -1135, -1134, -1133, -1132, -1129, -1127, -1125, -1124, -1122, -1121, -1119, -1118, -1117, -1114, -1113, -1112, -1109, -1108, -1107, -1106, -1104, -1102, -1101, -1100, -1099, -1098, -1097, -1096, -1094, -1093, -1091, -1090, -1085, -1084, -1083, -1082, -1081, -1080, -1079, -1076, -1075, -1072, -1071, -1069, -1068, -1067, -1066, -1063, -1062, -1061, -1060, -1058, -1057, -1056, -1054, -1052, -1050, -1049, -1046, -1045, -1044, -1043, -1042, -1041, -1040, -1039, -1038, -1034, -1033, -1030, -1029, -1026, -1025, -1023, -1019, -1017, -1016, -1015, -1013, -1011, -1010, -1008, -1006, -1005, -1004, -1003, -999, -998, -997, -994, -991, -990, -989, -988, -985, -980, -979, -978, -976, -975, -971, -968, -967, -966, -964, -962, -960, -956, -955, -953, -951, -950, -947, -946, -945, -943, -939, -938, -937, -936, -935, -932, -931, -929, -927, -924, -918, -915, -914, -913, -912, -911, -909, -908, -906, -904, -903, -901, -899, -898, -897, -895, -894, -893, -891, -890, -889, -888, -887, -886, -885, -880, -878, -877, -874, -872, -871, -870, -868, -867, -866, -865, -863, -862, -860, -859, -858, -857, -856, -855, -854, -853, -852, -849, -848, -847, -846, -843, -841, -838, -832, -831, -829, -828, -827, -822, -821, -818, -817, -816, -815, -814, -813, -812, -810, -809, -806, -805, -804, -803, -802, -800, -799, -798, -796, -792, -791, -789, -788, -787, -785, -781, -780, -779, -778, -777, -776, -775, -774, -773, -772, -771, -770, -769, -765, -764, -763, -761, -760, -757, -756, -755, -753, -751, -750, -746, -742, -741, -740, -738, -737, -736, -735, -734, -733, -732, -730, -729, -728, -727, -726, -725, -724, -723, -722, -721, -720, -718, -717, -716, -714, -712, -711, -710, -708, -707, -706, -705, -703, -701, -698, -696, -695, -694, -691, -690, -689, -687, -686, -685, -681, -679, -677, -675, -673, -671, -669, -667, -666, -663, -661, -659, -658, -657, -655, -654, -651, -648, -647, -645, -644, -641, -639, -638, -635, -634, -632, -630, -628, -626, -625, -624, -622, -621, -618, -617, -613, -612, -610, -609, -607, -606, -605, -604, -603, -602, -595, -592, -591, -590, -589, -588, -585, -580, -579, -578, -577, -576, -574, -573, -571, -569, -567, -566, -565, -564, -562, -561, -557, -556, -553, -551, -550, -549, -548, -546, -545, -544, -543, -542, -539, -534, -533, -532, -531, -530, -529, -528, -527, -524, -523, -521, -520, -519, -517, -516, -512, -511, -506, -502, -500, -499, -498, -495, -494, -493, -492, -491, -490, -489, -486, -485, -484, -483, -481, -480, -479, -476, -475, -473, -472, -471, -470, -469, -468, -466, -465, -463, -462, -460, -459, -458, -457, -455, -454, -453, -452, -451, -450, -448, -447, -446, -445, -443, -442, -441, -440, -439, -437, -436, -433, -432, -427, -426, -425, -424, -423, -422, -421, -420, -419, -418, -417, -416, -414, -412, -410, -409, -407, -405, -404, -401, -399, -398, -396, -395, -394, -393, -391, -390, -388, -387, -386, -385, -383, -382, -379, -378, -377, -376, -375, -374, -373, -372, -371, -367, -366, -364, -360, -359, -354, -348, -345, -344, -343, -341, -338, -337, -336, -334, -332, -329, -328, -327, -326, -325, -324, -323, -322, -321, -319, -318, -317, -315, -314, -313, -310, -309, -308, -307, -305, -304, -302, -301, -300, -297, -296, -294, -293, -290, -289, -288, -287, -286, -285, -284, -283, -281, -280, -277, -276, -274, -273, -272, -268, -265, -264, -263, -260, -256, -255, -254, -253, -252, -249, -246, -245, -244, -243, -242, -241, -240, -239, -236, -234, -233, -232, -231, -229, -228, -226, -225, -224, -223, -222, -221, -220, -219, -218, -217, -216, -214, -212, -211, -210, -209, -208, -207, -206, -205, -204, -203, -201, -200, -199, -198, -195, -192, -190, -188, -187, -186, -185, -183, -182, -181, -180, -179, -178, -177, -176, -175, -173, -171, -170, -168, -166, -165, -164, -163, -162, -161, -158, -157, -156, -155, -154, -153, -152, -149, -148, -146, -142, -141, -140, -139, -138, -137, -136, -135, -133, -132, -131, -129, -128, -127, -126, -125, -124, -123, -121, -119, -117, -115, -114, -112, -111, -110, -108, -107, -106, -103, -101, -100, -99, -98, -97, -95, -93, -92, -91, -88, -87, -86, -85, -83, -82, -81, -80, -77, -75, -74, -72, -70, -69, -67, -66, -65, -63, -62, -61, -60, -59, -58, -57, -56, -55, -52, -51, -50, -49, -48, -45, -42, -41, -40, -36, -34, -30, -29, -28, -27, -26, -25, -23, -22, -21, -17, -15, -14, -13, -11, -9, -6, -5, -4, 1, 3, 4, 5, 6, 7, 8, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 23, 24, 26, 28, 29, 30, 34, 35, 37, 38, 39, 40, 41, 44, 45, 46, 47, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 63, 65, 66, 67, 68, 69, 70, 72, 73, 77, 78, 79, 80, 81, 82, 83, 85, 87, 89, 91, 94, 95, 96, 98, 99, 100, 102, 104, 105, 106, 109, 112, 113, 114, 115, 116, 117, 119, 120, 121, 125, 126, 127, 128, 129, 130, 132, 133, 136, 139, 141, 143, 144, 147, 148, 149, 150, 151, 153, 154, 157, 158, 163, 164, 165, 166, 167, 169, 170, 172, 174, 175, 178, 179, 180, 181, 182, 183, 185, 188, 190, 191, 193, 194, 195, 199, 200, 201, 204, 206, 208, 209, 210, 211, 212, 213, 214, 216, 221, 222, 223, 224, 226, 228, 231, 235, 238, 239, 240, 241, 242, 244, 245, 247, 248, 249, 253, 255, 257, 258, 259, 260, 261, 262, 263, 264, 265, 267, 268, 269, 273, 274, 276, 278, 279, 280, 281, 285, 291, 293, 294, 295, 297, 298, 299, 301, 302, 304, 305, 306, 308, 309, 311, 312, 314, 317, 318, 319, 320, 323, 325, 326, 327, 328, 331, 332, 333, 334, 335, 336, 337, 339, 340, 341, 342, 346, 347, 349, 350, 351, 354, 355, 356, 357, 360, 361, 363, 364, 366, 367, 368, 370, 372, 376, 379, 380, 381, 382, 383, 385, 387, 388, 391, 392, 394, 395, 398, 400, 403, 404, 408, 409, 411, 414, 419, 420, 421, 422, 425, 426, 427, 429, 430, 432, 433, 434, 437, 438, 440, 441, 444, 446, 448, 449, 450, 452, 453, 454, 455, 456, 458, 459, 460, 461, 464, 465, 466, 467, 468, 469, 471, 472, 474, 476, 479, 480, 482, 483, 485, 486, 487, 488, 489, 490, 492, 497, 500, 502, 503, 508, 509, 510, 513, 515, 517, 518, 519, 520, 521, 523, 524, 525, 526, 529, 530, 531, 532, 534, 535, 536, 537, 538, 539, 541, 543, 544, 545, 546, 549, 550, 551, 552, 554, 555, 557, 559, 560, 562, 563, 564, 566, 567, 569, 570, 572, 573, 576, 578, 581, 582, 583, 586, 589, 590, 593, 595, 598, 599, 600, 603, 605, 606, 607, 608, 610, 612, 613, 615, 617, 618, 619, 622, 623, 624, 626, 627, 629, 630, 631, 632, 636, 637, 639, 640, 642, 646, 647, 650, 651, 653, 654, 655, 659, 661, 662, 663, 664, 665, 666, 667, 668, 670, 671, 673, 674, 675, 677, 678, 681, 682, 684, 685, 686, 688, 690, 691, 692, 695, 697, 699, 701, 702, 704, 705, 706, 711, 714, 716, 718, 719, 720, 722, 723, 724, 725, 726, 727, 728, 729, 731, 732, 733, 735, 737, 740, 742, 743, 744, 745, 746, 749, 750, 751, 752, 753, 754, 756, 758, 761, 764, 765, 766, 767, 769, 771, 773, 774, 775, 777, 778, 779, 781, 782, 783, 784, 785, 786, 788, 789, 790, 791, 795, 796, 797, 798, 800, 802, 804, 805, 806, 808, 809, 812, 814, 816, 817, 819, 821, 823, 824, 825, 826, 827, 830, 831, 832, 834, 836, 837, 839, 840, 841, 843, 846, 847, 849, 850, 852, 854, 855, 857, 860, 863, 866, 867, 868, 870, 871, 873, 875, 876, 877, 878, 880, 881, 882, 884, 886, 887, 888, 890, 891, 892, 894, 895, 896, 898, 899, 904, 906, 908, 909, 911, 912, 913, 914, 915, 917, 918, 919, 920, 921, 922, 923, 924, 925, 926, 927, 928, 929, 930, 934, 935, 938, 940, 941, 942, 943, 944, 945, 948, 951, 952, 955, 956, 957, 958, 960, 962, 963, 964, 965, 966, 967, 968, 972, 973, 974, 975, 976, 978, 979, 981, 982, 983, 984, 985, 986, 988, 989, 990, 993, 995, 996, 997, 998, 999, 1002, 1003, 1004, 1005, 1006, 1007, 1008, 1009, 1011, 1012, 1013, 1014, 1015, 1018, 1021, 1022, 1023, 1024, 1025, 1028, 1029, 1031, 1033, 1034, 1035, 1036, 1038, 1039, 1040, 1043, 1044, 1045, 1047, 1048, 1049, 1050, 1051, 1054, 1056, 1057, 1058, 1059, 1061, 1062, 1065, 1066, 1068, 1069, 1070, 1071, 1072, 1073, 1074, 1075, 1077, 1078, 1081, 1082, 1083, 1084, 1086, 1087, 1088, 1089, 1091, 1092, 1093, 1094, 1098, 1099, 1100, 1101, 1102, 1103, 1105, 1107, 1110, 1111, 1112, 1114, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1128, 1130, 1131, 1132, 1133, 1135, 1136, 1137, 1138, 1140, 1141, 1142, 1144, 1145, 1150, 1154, 1155, 1156, 1157, 1158, 1159, 1161, 1164, 1165, 1166, 1167, 1168, 1169, 1173, 1175, 1176, 1178, 1179, 1180, 1181, 1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1192, 1195, 1196, 1200, 1203, 1206, 1207, 1209, 1211, 1212, 1213, 1214, 1215, 1217, 1218, 1219, 1222, 1224, 1225, 1226, 1228, 1229, 1230, 1231, 1232, 1233, 1237, 1238, 1240, 1243, 1246, 1248, 1249, 1250, 1251, 1252, 1256, 1258, 1263, 1264, 1266, 1268, 1269, 1273, 1274, 1277, 1281, 1284, 1285, 1286, 1287, 1289, 1290, 1291, 1294, 1295, 1297, 1298, 1299, 1301, 1302, 1303, 1304, 1305, 1306, 1307, 1308, 1311, 1312, 1313, 1314, 1315, 1318, 1319, 1320, 1322, 1324, 1326, 1327, 1329, 1330, 1331, 1332, 1333, 1337, 1340, 1341, 1342, 1343, 1344, 1345, 1346, 1349, 1350, 1351, 1354, 1355, 1357, 1359, 1361, 1362, 1363, 1364, 1365, 1368, 1369, 1371, 1372, 1373, 1374, 1377, 1378, 1379, 1381, 1382, 1383, 1384, 1385, 1386, 1387, 1389, 1390, 1391, 1392, 1393, 1395, 1396, 1397, 1402, 1403, 1409, 1410, 1412, 1413, 1415, 1417, 1418, 1419, 1420, 1421, 1422, 1425, 1426, 1427, 1435, 1436, 1437, 1439, 1440, 1441, 1443, 1445, 1448, 1449, 1452, 1458, 1460, 1461, 1462, 1463, 1465, 1466, 1468, 1469, 1470, 1471, 1474, 1475, 1476, 1477, 1478, 1479, 1480, 1481, 1482, 1484, 1485, 1486, 1487, 1488, 1489, 1490, 1492, 1493, 1495, 1498, 1502, 1505, 1508, 1509, 1510, 1511, 1512, 1513, 1514, 1515, 1517, 1519, 1521, 1524, 1526, 1528, 1531, 1532, 1534, 1536, 1537, 1538, 1539, 1542, 1543, 1544, 1547, 1548, 1549, 1550, 1551, 1552, 1553, 1555, 1558, 1560, 1562, 1567, 1568, 1569, 1570, 1572, 1573, 1574, 1575, 1577, 1578, 1579, 1580, 1582, 1583, 1584, 1585, 1586, 1589, 1590, 1592, 1597, 1599, 1601, 1603, 1605, 1607, 1609, 1612, 1613, 1614, 1615, 1618, 1620, 1622, 1624, 1625, 1626, 1627, 1628, 1629, 1630, 1631, 1633, 1634, 1635, 1637, 1639, 1640, 1641, 1642, 1643, 1645, 1646, 1647, 1648, 1650, 1651, 1652, 1654, 1655, 1658, 1659, 1660, 1661, 1662, 1664, 1665, 1666, 1667, 1668, 1669, 1670, 1671, 1675, 1677, 1678, 1679, 1680, 1681, 1682, 1684, 1685, 1686, 1688, 1689, 1693, 1694, 1695, 1698, 1700, 1702, 1705, 1707, 1711, 1712, 1714, 1715, 1716, 1717, 1719, 1720, 1721, 1725, 1726, 1727, 1729, 1730, 1731, 1732, 1733, 1735, 1736, 1737, 1738, 1741, 1743, 1744, 1746, 1747, 1749, 1750, 1753, 1754, 1755, 1756, 1757, 1758, 1760, 1761, 1763, 1764, 1766, 1767, 1768, 1769, 1771, 1773, 1774, 1775, 1777, 1778, 1779, 1781, 1783, 1784, 1785, 1786, 1787, 1788, 1789, 1790, 1791, 1792, 1795, 1796, 1797, 1798, 1799, 1800, 1801, 1805, 1806, 1807, 1808, 1810, 1812, 1813, 1814, 1815, 1816, 1817, 1819, 1820, 1822, 1823, 1824, 1825, 1831, 1832, 1833, 1836, 1840, 1841, 1842, 1844, 1845, 1847, 1848, 1849, 1851, 1856, 1858, 1859, 1861, 1862, 1864, 1865, 1866, 1868, 1869, 1871, 1874, 1875, 1878, 1879, 1880, 1882, 1883, 1884, 1886, 1892, 1895, 1896, 1898, 1899, 1905, 1907, 1908, 1909, 1910, 1911, 1914, 1915, 1916, 1917, 1919, 1920, 1921, 1922, 1923, 1925, 1926, 1927, 1930, 1931, 1932, 1933, 1934, 1936, 1937, 1941, 1942, 1944, 1945, 1946, 1947, 1948, 1949, 1951, 1954, 1955, 1956, 1959, 1960, 1965, 1966, 1968, 1969, 1973, 1974, 1976, 1977, 1978, 1981, 1982, 1983, 1984, 1985, 1987, 1988, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1999, 2000, 2001, 2005, 2006, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2021, 2022, 2025, 2028, 2030, 2033, 2035, 2037, 2039, 2040, 2041, 2042, 2043, 2044, 2045, 2046, 2047, 2048, 2049, 2051, 2053, 2054, 2055, 2057, 2058, 2063, 2064, 2066, 2067, 2068, 2070, 2071, 2072, 2073, 2075, 2076, 2081, 2082, 2083, 2084, 2086, 2087, 2089, 2090, 2091, 2093, 2099, 2100, 2104, 2105, 2106, 2108, 2110, 2112, 2113, 2115, 2116, 2117, 2118, 2119, 2124, 2126, 2127, 2128, 2129, 2130, 2131, 2132, 2133, 2134, 2136, 2137, 2139, 2140, 2142, 2144, 2148, 2151, 2153, 2155, 2156, 2162, 2163, 2165, 2167, 2169, 2170, 2171, 2172, 2173, 2175, 2176, 2177, 2178, 2180, 2181, 2182, 2185, 2186, 2188, 2189, 2190, 2191, 2192, 2193, 2196, 2197, 2199, 2200, 2201, 2202, 2204, 2206, 2207, 2208, 2210, 2211, 2212, 2213, 2214, 2215, 2218, 2219, 2220, 2223, 2224, 2225, 2226, 2228, 2229, 2230, 2231, 2232, 2233, 2236, 2239, 2242, 2244, 2245, 2246, 2247, 2250, 2253, 2254, 2255, 2256, 2257, 2258, 2259, 2260, 2263, 2265, 2268, 2272, 2273, 2274, 2275, 2277, 2281, 2282, 2285, 2287, 2289, 2290, 2292, 2293, 2295, 2296, 2297, 2298, 2299, 2300, 2302, 2303, 2306, 2308, 2309, 2311, 2312, 2313, 2314, 2315, 2317, 2318, 2321, 2322, 2323, 2324, 2325, 2326, 2327, 2328, 2331, 2332, 2335, 2337, 2339, 2341, 2342, 2343, 2345, 2346, 2348, 2350, 2351, 2353, 2354, 2356, 2357, 2358, 2362, 2363, 2364, 2366, 2367, 2368, 2370, 2372, 2376, 2378, 2380, 2381, 2383, 2384, 2387, 2392, 2393, 2394, 2396, 2397, 2401, 2403, 2404, 2405, 2406, 2408, 2410, 2411, 2413, 2415, 2417, 2419, 2420, 2422, 2423, 2424, 2426, 2427, 2429, 2430, 2431, 2432, 2433, 2434, 2435, 2436, 2438, 2439, 2440, 2441, 2442, 2444, 2445, 2447, 2449, 2450, 2453, 2454, 2455, 2456, 2457, 2458, 2459, 2460, 2461, 2462, 2463, 2466, 2467, 2468, 2469, 2470, 2471, 2475, 2478, 2481, 2484, 2485, 2487, 2490, 2491, 2493, 2494, 2495, 2496, 2497, 2498, 2499, 2500, 2501, 2502, 2504, 2505, 2506, 2507, 2509, 2510, 2511, 2512, 2513, 2514, 2516, 2517, 2518, 2519, 2520, 2521, 2524, 2526, 2527, 2528, 2529, 2530, 2531, 2536, 2537, 2538, 2541, 2542, 2544, 2546, 2548, 2552, 2553, 2557, 2561, 2564, 2565, 2568, 2569, 2572, 2574, 2575, 2576, 2577, 2578, 2581, 2582, 2586, 2588, 2589, 2591, 2592, 2593, 2594, 2595, 2597, 2601, 2602, 2603, 2605, 2606, 2607, 2608, 2612, 2613, 2615, 2616, 2618, 2619, 2620, 2621, 2623, 2624, 2625, 2629, 2632, 2633, 2634, 2636, 2637, 2640, 2641, 2642, 2643, 2644, 2646, 2647, 2649, 2651, 2652, 2654, 2655, 2656, 2658, 2659, 2662, 2663, 2665, 2667, 2668, 2669, 2670, 2671, 2673, 2676, 2678, 2679, 2680, 2681, 2682, 2684, 2687, 2688, 2689, 2690, 2691, 2692, 2694, 2698, 2699, 2700, 2702, 2703, 2704, 2705, 2706, 2708, 2710, 2711, 2712, 2714, 2716, 2717, 2718, 2719, 2720, 2721, 2722, 2723, 2724, 2725, 2728, 2733, 2734, 2735, 2737, 2740, 2742, 2745, 2747, 2753, 2754, 2755, 2756, 2758, 2760, 2762, 2763, 2765, 2766, 2767, 2768, 2770, 2771, 2774, 2776, 2777, 2778, 2779, 2780, 2782, 2783, 2785, 2786, 2787, 2788, 2789, 2791, 2792, 2794, 2797, 2798, 2799, 2801, 2803, 2806, 2807, 2809, 2811, 2812, 2814, 2815, 2816, 2817, 2820, 2825, 2827, 2828, 2829, 2830, 2831, 2833, 2834, 2836, 2837, 2838, 2839, 2840, 2841, 2842, 2843, 2844, 2847, 2848, 2851, 2852, 2853, 2856, 2858, 2859, 2860, 2861, 2864, 2865, 2866, 2867, 2870, 2872, 2873, 2874, 2875, 2877, 2878, 2880, 2882, 2883, 2884, 2885, 2886, 2888, 2889, 2890, 2891, 2892, 2893, 2895, 2896, 2899, 2900, 2901, 2902, 2904, 2905, 2906, 2909, 2910, 2913, 2914, 2915, 2919, 2921, 2924, 2925, 2926, 2927, 2928, 2929, 2931, 2932, 2933, 2934, 2935, 2936, 2938, 2939, 2940, 2942, 2945, 2947, 2948, 2951, 2953, 2954, 2955, 2956, 2957, 2958, 2960, 2961, 2962, 2963, 2964, 2965, 2966, 2967, 2968, 2969, 2972, 2974, 2975, 2976, 2978, 2979, 2981, 2982, 2984, 2985, 2986, 2988, 2989, 2990, 2991, 2994, 2995, 2996, 2997, 2999, 3000, 3001, 3003, 3004, 3006, 3008, 3009, 3010, 3011, 3013, 3014, 3016, 3017, 3018, 3019, 3021, 3023, 3024, 3025, 3026, 3027, 3029, 3031, 3032, 3034, 3035, 3036, 3037, 3038, 3039, 3040, 3042, 3043, 3045, 3047, 3048, 3049, 3050, 3053, 3055, 3056, 3057, 3058, 3060, 3061, 3063, 3065, 3068, 3069, 3070, 3071, 3072, 3076, 3077, 3078, 3079, 3082, 3086, 3088, 3090, 3091, 3093, 3095, 3096, 3097, 3098, 3099, 3100, 3101, 3102, 3103, 3104, 3109, 3110, 3111, 3112, 3113, 3117, 3118, 3120, 3121, 3123, 3124, 3125, 3126, 3129, 3130, 3131, 3133, 3135, 3136, 3139, 3140, 3142, 3144, 3145, 3150, 3151, 3152, 3154, 3155, 3159, 3160, 3161, 3162, 3163, 3165, 3170, 3171, 3172, 3175, 3177, 3178, 3179, 3180, 3183, 3184, 3185, 3187, 3188, 3190, 3191, 3194, 3195, 3196, 3199, 3200, 3201, 3202, 3207, 3209, 3210, 3211, 3213, 3214, 3216, 3217, 3219, 3221, 3222, 3223, 3225, 3227, 3228, 3229, 3233, 3234, 3236, 3237, 3241, 3244, 3246, 3247, 3249, 3250, 3251, 3253, 3254, 3256, 3261, 3262, 3263, 3264, 3265, 3266, 3268, 3269, 3270, 3271, 3273, 3275, 3277, 3278, 3279, 3281, 3282, 3283, 3284, 3285, 3286, 3287, 3290, 3291, 3292, 3293, 3295, 3296, 3297, 3299, 3300, 3302, 3303, 3305, 3310, 3312, 3313, 3314, 3316, 3317, 3318, 3319, 3320, 3321, 3322, 3326, 3327, 3330, 3331, 3332, 3334, 3335, 3337, 3338, 3341, 3343, 3344, 3345, 3348, 3349, 3350, 3351, 3352, 3353, 3354, 3359, 3360, 3361, 3363, 3364, 3365, 3366, 3369, 3371, 3372, 3373, 3374, 3376, 3377, 3379, 3380, 3381, 3382, 3384, 3387, 3388, 3389, 3390, 3391, 3392, 3393, 3394, 3396, 3397, 3400, 3401, 3402, 3403, 3407, 3408, 3409, 3410, 3411, 3412, 3415, 3416, 3417, 3418, 3419, 3423, 3424, 3425, 3426, 3428, 3430, 3431, 3433, 3438, 3440, 3442, 3444, 3445, 3446, 3447, 3448, 3449, 3450, 3452, 3454, 3455, 3456, 3457, 3459, 3460, 3461, 3462, 3463, 3464, 3465, 3468, 3469, 3470, 3471, 3473, 3474, 3479, 3480, 3482, 3483, 3484, 3486, 3488, 3489, 3490, 3493, 3494, 3495, 3496, 3499, 3501, 3502, 3503, 3504, 3505, 3506, 3507, 3508, 3510, 3513, 3514, 3515, 3516, 3517, 3518, 3519, 3521, 3522, 3524, 3526, 3527, 3528, 3529, 3530, 3531, 3532, 3534, 3535, 3536, 3539, 3540, 3541, 3542, 3543, 3544, 3545, 3546, 3547, 3549, 3550, 3551, 3555, 3557, 3558, 3560, 3561, 3562, 3563, 3564, 3565, 3567, 3568, 3569, 3570, 3571, 3573, 3574, 3577, 3578, 3579, 3581, 3582, 3583, 3584, 3585, 3590, 3591, 3592, 3594, 3595, 3597, 3598, 3599, 3601, 3603, 3604, 3605, 3607, 3609, 3610, 3612, 3613, 3615, 3616, 3617, 3618, 3620, 3621, 3622, 3624, 3625, 3627, 3630, 3632, 3635, 3636, 3638, 3640, 3641, 3642, 3644, 3649, 3651, 3652, 3653, 3654, 3655, 3656, 3657, 3662, 3664, 3665, 3666, 3667, 3669, 3670, 3674, 3675, 3676, 3677, 3678, 3680, 3681, 3682, 3683, 3688, 3689, 3690, 3691, 3693, 3695, 3696, 3698, 3699, 3700, 3701, 3702, 3704, 3706, 3707, 3708, 3709, 3710, 3711, 3712, 3713, 3718, 3719, 3720, 3721, 3722, 3723, 3725, 3726, 3727, 3730, 3731, 3733, 3734, 3735, 3736, 3737, 3738, 3739, 3740, 3741, 3742, 3743, 3744, 3745, 3746, 3747, 3749, 3750, 3752, 3754, 3755, 3757, 3761, 3762, 3765, 3766, 3768, 3769, 3772, 3773, 3774, 3775, 3777, 3778, 3780, 3783, 3784, 3785, 3787, 3789, 3791, 3792, 3794, 3797, 3799, 3801, 3802, 3805, 3806, 3809, 3810, 3812, 3813, 3814, 3817, 3818, 3819, 3822, 3823, 3825, 3830, 3831, 3833, 3834, 3835, 3836, 3837, 3839, 3840, 3841, 3842, 3843, 3845, 3846, 3847, 3849, 3850, 3851, 3852, 3853, 3854, 3856, 3859, 3861, 3862, 3863, 3866, 3869, 3870, 3871, 3872, 3873, 3875, 3878, 3880, 3881, 3882, 3883, 3884, 3886, 3887, 3888, 3889, 3891, 3893, 3894, 3895, 3898, 3899, 3900, 3901, 3905, 3906, 3907, 3909, 3910, 3911, 3914, 3915, 3916, 3917, 3918, 3919, 3920, 3921, 3923, 3925, 3926, 3927, 3929, 3930, 3931, 3932, 3933, 3934, 3935, 3936, 3937, 3938, 3939, 3940, 3941, 3943, 3944, 3945, 3946, 3947, 3950, 3951, 3952, 3956, 3959, 3960, 3961, 3963, 3964, 3965, 3966, 3967, 3968, 3970, 3972, 3973, 3974, 3977, 3980, 3981, 3982, 3983, 3988, 3992, 3995, 4001, 4002, 4004, 4005, 4008, 4009, 4010, 4011, 4014, 4015, 4017, 4018, 4021, 4023, 4024, 4025, 4026, 4028, 4029, 4030, 4032, 4037, 4040, 4041, 4042, 4043, 4045, 4046, 4048, 4052, 4053, 4054, 4055, 4057, 4058, 4059, 4060, 4061, 4062, 4063, 4064, 4065, 4066, 4067, 4069, 4071, 4072, 4073, 4074, 4075, 4076, 4078, 4079, 4080, 4082, 4084, 4086, 4087, 4089, 4095, 4096, 4097, 4098, 4099, 4102, 4103, 4104, 4105, 4108, 4109, 4110, 4112, 4113, 4114, 4117, 4120, 4121, 4122, 4123, 4124, 4125, 4126, 4127, 4129, 4131, 4132, 4133, 4136, 4141, 4142, 4143, 4144, 4146, 4147, 4150, 4152, 4153, 4155, 4156, 4158, 4164, 4165, 4167, 4172, 4173, 4176, 4177, 4178, 4180, 4182, 4183, 4184, 4185, 4186, 4187, 4189, 4191, 4192, 4193, 4194, 4195, 4196, 4198, 4199, 4200, 4201, 4204, 4205, 4208, 4209, 4210, 4211, 4213, 4214, 4215, 4218, 4221, 4224, 4225, 4227, 4229, 4230, 4231, 4233, 4234, 4236, 4238, 4239, 4240, 4241, 4242, 4244, 4245, 4246, 4248, 4249, 4250, 4253, 4255, 4258, 4259, 4261, 4263, 4265, 4267, 4268, 4269, 4270, 4272, 4274, 4276, 4278, 4280, 4281, 4282, 4283, 4285, 4286, 4287, 4289, 4290, 4291, 4292, 4295, 4296, 4297, 4299, 4300, 4301, 4306, 4307, 4308, 4309, 4310, 4311, 4312, 4313, 4314, 4315, 4316, 4317, 4318, 4319, 4321, 4322, 4323, 4324, 4325, 4330, 4331, 4334, 4336, 4337, 4338, 4340, 4341, 4343, 4344, 4347, 4348, 4350, 4352, 4353, 4354, 4359, 4360, 4361, 4362, 4363, 4365, 4366, 4368, 4371, 4372, 4373, 4376, 4377, 4379, 4380, 4381, 4383, 4386, 4390, 4391, 4394, 4395, 4396, 4397, 4399, 4400, 4401, 4402, 4403, 4404, 4405, 4406, 4409, 4410, 4412, 4413, 4414, 4417, 4418, 4419, 4420, 4421, 4422, 4423, 4425, 4426, 4427, 4428, 4431, 4432, 4433, 4434, 4438, 4439, 4441, 4442, 4443, 4444, 4447, 4449, 4450, 4451, 4452, 4454, 4455, 4456, 4458, 4459, 4460, 4462, 4463, 4466, 4467, 4470, 4471, 4473, 4474, 4475, 4476, 4477, 4480, 4481, 4482, 4484, 4487, 4489, 4490, 4491, 4492, 4496, 4497, 4498, 4499, 4500, 4501, 4503, 4504, 4506, 4507, 4509, 4510, 4511, 4513, 4515, 4520, 4521, 4522, 4523, 4524, 4526, 4530, 4531, 4532, 4533, 4534, 4535, 4536, 4538, 4540, 4541, 4542, 4543, 4544, 4546, 4547, 4550, 4552, 4553, 4554, 4555, 4556, 4557, 4558, 4559, 4560, 4561, 4563, 4564, 4566, 4570, 4571, 4572, 4573, 4578, 4580, 4581, 4585, 4587, 4588, 4589, 4590, 4591, 4592, 4593, 4595, 4596, 4598, 4599, 4601, 4602, 4603, 4604, 4606, 4607, 4609, 4610, 4611, 4612, 4614, 4615, 4617, 4618, 4619, 4620, 4621, 4622, 4623, 4625, 4626, 4629, 4631, 4633, 4634, 4636, 4637, 4638, 4639, 4642, 4645, 4646, 4647, 4649, 4650, 4651, 4653, 4654, 4655, 4656, 4657, 4658, 4659, 4662, 4668, 4674, 4675, 4676, 4677, 4678, 4680, 4681, 4682, 4683, 4684, 4685, 4686, 4688, 4689, 4690, 4693, 4694, 4695, 4697, 4698, 4699, 4700, 4701, 4703, 4704, 4705, 4708, 4709, 4713, 4714, 4715, 4717, 4720, 4721, 4722, 4723, 4724, 4728, 4729, 4730, 4731, 4732, 4733, 4735, 4736, 4737, 4739, 4740, 4742, 4743, 4745, 4748, 4749, 4752, 4753, 4754, 4758, 4759, 4761, 4762, 4763, 4764, 4765, 4766, 4769, 4770, 4771, 4772, 4773, 4775, 4777, 4779, 4781, 4782, 4787, 4788, 4789, 4791, 4792, 4793, 4794, 4796, 4799, 4800, 4803, 4804, 4805, 4806, 4808, 4809, 4810, 4811, 4813, 4814, 4815, 4817, 4818, 4821, 4822, 4823, 4824, 4825, 4827, 4828, 4829, 4830, 4833, 4835, 4836, 4837, 4838, 4840, 4843, 4844, 4845, 4847, 4848, 4850, 4852, 4854, 4855, 4856, 4857, 4858, 4859, 4860, 4861, 4862, 4864, 4866, 4869, 4870, 4871, 4874, 4875, 4876, 4877, 4878, 4879, 4880, 4882, 4883, 4885, 4888, 4890, 4891, 4893, 4894, 4898, 4900, 4902, 4903, 4904, 4906, 4907, 4908, 4909, 4912, 4913, 4914, 4916, 4917, 4920, 4922, 4923, 4926, 4927, 4929, 4930, 4933, 4934, 4935, 4936, 4937, 4938, 4939, 4942, 4943, 4944, 4945, 4948, 4950, 4951, 4953, 4955, 4956, 4958, 4959, 4961, 4963, 4964, 4966, 4967, 4970, 4971, 4973, 4974, 4976, 4977, 4979, 4980, 4982, 4984, 4987, 4988, 4989, 4990, 4991, 4992, 4996, 4998, 4999}
	var target = 5488
	p := searchInsert(nums, target)
	fmt.Println(p)
}
